Ich beantrage hiermit die Eintragung eines neuen Zeichens. Ständig muss man bei Zusammenfassung Lalala ist simulierbar von lelele schreiben. Für allen anderen Kram gibt es tolle Zeichen. Absofort möge etwa:

Ein T-zeitbeschränkter Binäralgorithmus ist ohne Zeitverlust auf einem Hypercube simulierbar

kurz:

T-zeitbeschränkter Binäralgorithmus ≤simnotime Hypercube

heißen. Nach Möglichkeit wären sim und notime übereinander zu schreiben, ging hier nur gerade nicht. Alles klar? Fein.