Comment by LudwigNagasena

Yes, ẞ is an optional variant of ß, which is traditionally capitalized as SS.