You've already answered your question: It's tagged as **highway=crossing + crossing=traffic_signals**. The fact that this doesn't show up in a particular map doesn't indicate that it isn't correctly tagged - no map displays all features that are in the database. database, neither the maps on openstreetmap.org, nor any other map made from OpenStreetMap data. Instead, that map apparently currently chooses to display traffic signals at vehicle junctions (highway=traffic_signals), but not doesn't display pedestrian crossings with traffic signals. That's why an icon will show up if you incorrectly tag this node as vehicle junction, rather than pedestrian crossing, with traffic signals.

You've already answered your question: It's tagged as **highway=crossing + crossing=traffic_signals**. The fact that this doesn't show up in a particular map doesn't indicate that it isn't correctly tagged - no map displays all features that are in the database. Instead, that map apparently currently chooses to display traffic signals at vehicle junctions (highway=traffic_signals), but not pedestrian crossings with traffic signals. That's why an icon will show up if you incorrectly tag this node as vehicle junction, rather than pedestrian crossing, with traffic signals.