Conventions
Published: 13:13, Thursday 14 July 2011
Notes
What's this? See my article about Notes.
View as plain text file.
I write notes as plain text with a tab hierarchy. This is not compatible with blocks of code or any content that spans over multiple lines and involves maybe empty lines. I still have to find a solution for that.
symbols:
|A: forall
|E: exists
|U: union
|D: disjunction
|S: subset
|x: cross product
\N, \Z, \Q, \R, \I: the number sets
==: equivalent
|a: and
|o: or
|8: infinity
|->: maps to
!: not
subscripts:
a1, an, am, aj, ak, a_bla, a_{i=1}
\#
greek #
\a: alpha
\b: beta
\c: chi
\d: delta
\e: epsilon
\f: phi
\g: gamma
\h: eta !!!
\i: ?
\j: iota
\k: kappa
\l: lambda
\m: mu
\n: nu
\o: omega
\p: pi
\q: psi !!!
\r: rho
\s: sigma
\t: theta
\u: tau !!!
\v: ?
\w: ?
\x: xi
\y: upsilon
\z: zeta
missing: omicron
\S:: sum
\P:
product
\Pi=1..n:i
$#
geschweiftes #
$P(...): power set
¦#: vektor #
|e: in
|[ ]|: absolute value, cardinality etc.
|{ }: cases
|!
negates normal meaning:
|!e: not in
^#: # with cap or bar
^=>: goes down
(): circle
(*): full circle
(()): double circle
((*)): full circle surrounded by a circle
<>: caret
<*>: full caret
[]: square
process:
initialform|actor/action->form|actor'->form'|...
---: skipped
blocks:
" plus indented block: quotation or long text
@sth: str
@sth
plus indented block
special block
@eiffel: @eif: eiffel code
@c: c code
@php: php code
@latex: latex code
@listing,lang=c: path
Write a Comment
* These fields are mandatory.