:=	≜≔≝
Proof.	∵
::	⸬∷
Qed.	■∎
Defined.	□
Time	⏱
Fail	⛐
Admitted	😱