ẞ has been part of the official German orthography since June 2017.[1] It was however occasionally used before (and for example even by some editions of the influential Duden dictionary entitled DER GROẞE DUDEN).
^ Rat für deutsche Rechtschreibung (2017 June 29) “Amtliches Regelwerk der deutschen Rechtschreibung aktualisiert”, in Pressemitteilung[1] (in German): “Sie lassen die Verwendung des Großbuchstabens „ẞ“ neben „SS“ zu, was insbesondere für die korrekte Schreibung von Eigennamen in Pässen und Ausweisen wichtig ist, […] ― They permit the usage of the capital "ẞ" in addition to "SS", particularly important for the correct spelling of personal names in passports and ID cards.”