Reference Mark

When you highlight a statement for later reference. Commonly marked with:

• (*)
• ($†$)
• $(a)$ They can be invoked, and called with an input that corresponds to the $\forall$ term.