Trying out Latex on this Mastodon, bear with me!

Total function:
\[
f: A \mapsto B,
\forall a \in A \implies \exists f(a) \in B
\]
Partial function:
\[
f: A \mapsto B,
\exists x \in A \implies \not\exists f(x) \in B
\]