Revision as of 15:03, 8 April 2009 edit Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits →Common basis for syntax and semantics: layout ← Previous edit		Revision as of 17:40, 29 June 2009 edit undo EmilJ (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 11,141 edits m →Metalogical Symbols: fix font Next edit →
Line 163: \|- \|Definition \|X <math>X\stackrel{\rm def}{=}y_1,y_2,\dots</math> ~~y<sub>1</sub>,y<sub>2</sub>,...~~ \| <math>\stackrel{\rm def}{=}</math> \|{{define}} \|'''{{tl\|define}}''' \|\stackrel{\rm def}{=} \|[[Definition]] \|-

Wikipedia:WikiProject Logic/Standards for notation: Difference between revisions