P ⇒ Q
ako vrijedi P onda vrijedi Q
P je nuzan uvijet za Q
iz P slijedi Q
P ⇔ Q
P je istinit ako i samo ako (ili krace: akko) Q istinit
P je nuzan i dovoljan uvijet za Q
(npr) t |→ t+t*t definiramo nekakav zakon preslikavanja
f : X → Y definiramo funkciju preko domene i kodomene. ovo nista ne govori o zakonu preslikavanja. (napomena: formalno gledano, f-ja je uredjena trojka domene, kodomene i zakona preslikavanja)
f : X →> f je surjekcija sa X u Y (tj _na_ Y)
f : X >→ f je injekcija sa X u Y
f : X >→> f je bijekcija sa X u Y (tj _na_ Y)
(a u kontekstu limesa se koriste za oznacavanje x → a kao sto si rekao, iako da to nisi spomenuo ne bih se toga sjetio 
buduci da to nema skoro nikakve veze sa onim definiranjem f-je s pocetka posta)
ne znam da li ikome padaju napamet jos kakove strelice?
(btw matematicari u pravilu ne oznacavaju vektore sa onim strelicama iznad slova nego koriste obicna mala slova, osim ponekad u klasicnoj algebri vektora... ono... klase ekvivalencije usmjerenih duzina i td...)
_________________
Pupoljak nije negiran. Rekao sam to i ponovit cu to jos jedanput. Pupoljak NIJE negirAn.
MADD
(Mothers Against Dirty Dialectics)
Based on a true story. NOT.
Ko ih sljivi, mi sviramo punk
