Świnka morska (slang informatyków) – kobieta-informatyk: ani to kobieta, ani informatyk.
Formuła 1 – formuła logiczna: A¹∀B¹(∀x¹(x¹∈A↔x¹∈B¹→A¹=B))¹.
Że Mpymp-mhm mpy-hymy hpmh?