User:IssaRice/Colon-equals allows directionality: Difference between revisions

Latest revision as of 06:08, 27 December 2018

For definitions, I prefer $: =$ over other notations like $\equiv$ , $\overset{Δ}{=}$ , and $\overset{def}{=}$ . One reason is that $: =$ has the counterpart $= :$ that allows one to place the definiendum on the right. This allows one to e.g. write some long expression (during a calculation), then quickly assign it to something temporarily.

Leary & Kristiansen's logic textbook uses $: \equiv$ in the meta-level language.

Revision as of 01:18, 1 December 2018 (view source) IssaRice (talk \| contribs) (Created page with "For definitions, I prefer <math>:=</math> over other notations like <math>\equiv</math>, <math>\overset{\Delta}{=}</math>, and <math>\overset{\text{def}}{=}</math>. One reason...")		Latest revision as of 06:08, 27 December 2018 (view source) IssaRice (talk \| contribs) No edit summary
Line 1:		Line 1:
	For definitions, I prefer <math>:=</math> over other notations like <math>\equiv</math>, <math>\overset{\Delta}{=}</math>, and <math>\overset{\text{def}}{=}</math>. One reason is that <math>:=</math> has the counterpart <math>=:</math> that allows one to place the definiendum on the right. This allows one to e.g. write some long expression (during a calculation), then quickly assign it to something temporarily.		For definitions, I prefer <math>:=</math> over other notations like <math>\equiv</math>, <math>\overset{\Delta}{=}</math>, and <math>\overset{\text{def}}{=}</math>. One reason is that <math>:=</math> has the counterpart <math>=:</math> that allows one to place the definiendum on the right. This allows one to e.g. write some long expression (during a calculation), then quickly assign it to something temporarily.

			Leary & Kristiansen's logic textbook uses <math>:\equiv</math> in the meta-level language.