The three-dot notation $f\mathrel{\scriptsize\vdots}A\to B$ to indicate that $f$ is a partial function from $A$ to $B$, meaning that $\text{dom}(f)\subseteq A$ rather than $\text{dom}(f)=A$. Partial functions are pervasive in logic, especially computability theory and set theory, and this notation is both compact and suggestive.