Unter OS X, also auf dem Mac, bekommt man das große ß --> ẞ, indem man in den Systemeinstellungen unter Tastatur --> Eingabequellen die Tastatureingabemethode “Unicode Hex Input” hinzufügt und diese dann aktiviert.
Danach kann man die ALT-taste gedrückt halten und den Unicode-Wert
1E9E
eingeben (Danach wieder auf die Standardtastatur zurückgehen)
Etwas umständlich, aber es funktioniert.