Raspitala sam se malo okolo. Dosta ljudi mi je reklo da logicari u Americi ponekad koriste nas simbol, al zarotiran za jos 90° u smjeru kazaljke [latex] \owns [/latex] za "takav da". Ali to je malo bez veze, jer se ovo vec ponekad koristi umjesto [latex] \in [/latex] - kad iz nekog razloga hocemo napisati da je x element U, ali zelimo da U dode prvi a x poslje.
Geometri u Nizozemskoj su prepoznali \pitchfork kao "a symbol from geometry meaning 'intersects transversally'". (?)
Najkul kratica koju sam vidjela je jedna od kratica za BSOMP u Njemackom (ne znam kolko je rasirena): "Ohne Einschraenkung der
Algemeinheid" je prvo skraceno u "Ohne Einschraenkung", pa zatim u OE, a onda je su O i E spojeni skupa u O sa tri vodoravne crte u sebi (ko \theta kad vidis trostruko) :D
Raspitala sam se malo okolo. Dosta ljudi mi je reklo da logicari u Americi ponekad koriste nas simbol, al zarotiran za jos 90° u smjeru kazaljke za "takav da". Ali to je malo bez veze, jer se ovo vec ponekad koristi umjesto - kad iz nekog razloga hocemo napisati da je x element U, ali zelimo da U dode prvi a x poslje.
Geometri u Nizozemskoj su prepoznali \pitchfork kao "a symbol from geometry meaning 'intersects transversally'". (?)
Najkul kratica koju sam vidjela je jedna od kratica za BSOMP u Njemackom (ne znam kolko je rasirena): "Ohne Einschraenkung der
Algemeinheid" je prvo skraceno u "Ohne Einschraenkung", pa zatim u OE, a onda je su O i E spojeni skupa u O sa tri vodoravne crte u sebi (ko \theta kad vidis trostruko)
_________________
A comathematician is a device for turning cotheorems into ffee. A cotheorem is, naturally, an easy nsequence of a rollary.