Re: Scott and George's Teaching Thread

On Aug 23, 9:09 am, george <gree...@xxxxxxxxxx> wrote:
When you see "=" in set theory, you need to think of it as a macro.
B=C
MEANS (when C and B are sets)
Ax[ xeB <--> xeC ].
It means "B is a subset of C and C is a subset of B".
The "=" is an abbreviation for something phrased PURELY in terms of e
(since,
this being set theory, EVERYthing is phrased in terms of set
membership).

So to practise, the subset symbol, denoted as a sideways "u" is also a
macro:
B subset C
means, when B and C are sets
Ax[ xeB -> xeC].

.

Relevant Pages

  • Re: Scott and Georges Teaching Thread
    ... So to practise, the subset symbol, denoted as a sideways "u" ... is also a macro: ...
    (sci.logic)
  • Re: automate journal abbreviations?
    ... I have full titles in the .bib file. ... abbreviation that matches. ... % Here, a macro is created for each journal title, storing the ... it definitely points me in a useful direction. ...
    (comp.text.tex)
  • Re: automate journal abbreviations?
    ... I have full titles in the .bib file. ... abbreviation that matches. ... % Here, a macro is created for each journal title, storing the ... For standard BibTeX, ...
    (comp.text.tex)
  • Re: automate journal abbreviations?
    ... I have full titles in the .bib file. ... abbreviation that matches. ... % Here, a macro is created for each journal title, storing the ... For standard BibTeX, ...
    (comp.text.tex)
  • Re: Macro to write new commands?
    ... then use the abbreviation from then on. ... | ...rescued by the Boston Fire Department... ... How do I write a macro to write the macros? ... You are wasting a counter for each acronym. ...
    (comp.text.tex)
Quantcast