ẞ 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 (June 29, 2017), “Amtliches Regelwerk der deutschen Rechtschreibung aktualisiert”, in Pressemitteilung[1]: “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.]”