Vad betyder dessa två tecken?

Sykey skrev:

$\mapsto och \leftrightarrow$?

Är den andra bara ett annat sätt att säga "ekvivalens". Vet inte riktigt hur de avläses. Den första har jag sett för funktioner.

Första pilen är en implikationspil och är typ " det implicerar " och andra pilen är ekvivalenspil.

Fråga.

Varför används inte dessa bara i sådana fall?

$\Rightarrow och \iff$

De kan också användas. Ibland (när man håller på med logik) kan man behöva båda sorterna, men annars tycker jag det är en smaksak.

Om den allra första pilen vill jag dock säga att den som har ett litet handtag till vänster snarare används för avbildningar (t.ex. funktioner). Implikationen brukar inte ha det handtaget.