  
  [1X2 Other Markup[0X
  
  
  [1X2.1 Various types of text[0X
  
  [--> [14XB.5[0m]
  
  In  this  section we present examples for all the various types of text that
  are possible in [5XGAPDoc[0m:
  
  --    [13XThis[0m is [13Xemphasized[0m.
  
  --    [13XKeywords[0m are typeset like [9Xthis[0m and [9Xthat[0m.
  
  --    [13XArguments[0m of functions have an element. They look like this: [3Xx[0m and [3Xy[0m.
  
  --    [13XCode[0m   can   be  written  with  the  Code  element:  [10Xif  x  =  y  then
        Print("Equal"); fi;[0m or [10Xwhile true do Print("Hello"); od;[0m.
  
  --    [13XFilenames[0m    have   their   own   element:   [11X/usr/local/ca/gap4r2[0m   or
        [11Xpkg/xgap/doc[0m.
  
  --    [13XButtons[0m,  [13Xmenus[0m,  [13Xmenu entries[0m, and such things are also supported: [12XOK[0m
        or [12XCancel[0m.
  
  --    [13XPackages[0m are typeset like this: [5XSmall Groups Library[0m
  
  --    [13XQuoted[0m text: "This is a text in quotes."
  
  [13XParagraphs[0m are separated by the empty [10XPar[0m or [10XP[0m element.
  
  [13XAlternatives[0m  for different output formats: This is other than LaTeX output,
  namely: Text output.
  
  There are also three elements to typeset "verbatim-like" text. (--> [14XB.6[0m)
  
  The first is a [13XListing[0m:
  
  [4X---------------------------  GAP code  ---------------------------[0X
    [4XSieve := function(n)[0X
    [4X  # Returns the primes less than n[0X
    [4X  local l,p,i;[0X
    [4X  l := [1..n]; Unbind(l[1]);[0X
    [4X  p := 2;[0X
    [4X  while p^2 <= n do[0X
    [4X      if IsBound(l[p]) then[0X
    [4X          i := 2 * p;[0X
    [4X          while i <= n do Unbind(l[i]); i := i + p; od;[0X
    [4X      fi;[0X
    [4X      p := p + 1;[0X
    [4X  od;[0X
    [4X  return Compacted(l);[0X
    [4Xend;[0X
  [4X------------------------------------------------------------------[0X
  
  Here is a [13XLog[0m of a [5XGAP[0m session using this function:
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> Sieve(100);[0X
    [4X[ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61,[0X
    [4X  67, 71, 73, 79, 83, 89, 97 ][0X
    [4Xgap> Length(last);[0X
    [4X25[0X
  [4X------------------------------------------------------------------[0X
  
  Here is a [5XGAP[0m [13XExample[0m session that is automatically tested:
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> s := Size(CharacterTable("M"));[0X
    [4X808017424794512875886459904961710757005754368000000000[0X
    [4Xgap> s < 10^53;                     [0X
    [4Xfalse[0X
    [4Xgap> s < 10^54;[0X
    [4Xtrue[0X
  [4X------------------------------------------------------------------[0X
  
  
  [1X2.2 Formulae[0X
  
  [--> [14XB.7[0m]
  
  There are three types of formulae.
  
  The  first  is  the [13Xnormal math mode[0m of LaTeX: $b_i \cdot b_j = \sum_{k=1}^d
  h_{ijk} b_k$. Then there are [13Xdisplayed formulae[0m:
  
  
       \Longrightarrow \quad \left(\sum_{i=1}^d x_i b_i \right) \cdot
       \left(\sum_{j=1}^d y_j b_j \right) = \sum_{k=1}^d \left(
       \sum_{i,j} x_i y_j h_{ijk} \right) b_k
  
  
  If  possible,  use the [10XAlt[0m element to specify a better readable text version
  of such a formula as in the following example:
  
           d                d                 d   
         -----            -----             -----  -----                 
          \                \                 \      \                    
   ==> (   )  x_i b_i )(    )  y_j b_j ) =    )  (   )  x_i y_j h_ijk ) b_k
          /                /                 /      /                    
         -----            -----             -----  -----                
         i = 1            j = 1             k = 1   i,j                
  
  For  small  formulae  without "difficult" parts use the [10XM[0m element: b_i, x^2,
  x^2  +  2x  +  1 = (x + 1)^2. Note that here whitespace matters for text (or
  HTML) output.
  
  Here  are  two  formulae  containing  less than characters which are special
  characters for XML: a < b < c < d and e < f.
  
  Using the [10XMode[0m attribute of a [10XDisplay[0m element formulae like
  
  
       a --> a mod m'
  
  
  can also be displayed nicely in text and HTML output.
  
  
  [1X2.3 Crossreferencing[0X
  
  [--> [14XB.8[0m]
  
  In this section we demonstrate various references to parts of this document.
  Here  is a reference to this section: [14X2.3[0m. Here is a reference to chapter [14X1[0m,
  to appendix [14XA[0m, and to subsection [14X1.1-1[0m.
  
  We  distinguish  among  others  references  to functions (see [2Xf[0m ([14X1.2-1[0m)), to
  methods  with  tricky  name (see [2X\^\{\}\[\]\<\&[0m ([14X1.2-2[0m)), to operations (see
  [2XMyOperation[0m  ([14X1.2-3[0m)),  to  methods  (see [2XMyOperation[0m ([14X1.2-4[0m) or [2XMyOperation[0m
  ([14X1.2-5[0m)),  to  filters  (see  [2XIsBla[0m  ([14X1.2-6[0m)),  to  properties  (see [2XIsBlubb[0m
  ([14X1.2-7[0m)),  to attributes (see [2XNumberBlobbs[0m ([14X1.2-8[0m)), to variables ([2XAllBlibbs[0m
  ([14X1.2-9[0m)),  to families (see [2XBlibbsFamily[0m ([14X1.2-10[0m)), and to info classes (see
  [2XInfoBlibbs[0m ([14X1.2-11[0m)).
  
  There  are  also references to labels: see [14X2.3[0m, to other books: see [14X'GAPDoc:
  What  is  a DTD?'[0m or [2XIsSubgroup[0m ([14XReference: IsSubgroup[0m) in the [5XGAP[0m reference
  manual.
  
  References to sections come in two styles: [14X1[0m or [14X'Sectioning Elements'[0m.
  
  Another  type  of  cross  referencing  is  bibliography. Here is a citation:
  [CR81, (5.22)] is an interesting lemma.
  
  There are also URLs:
  
  [7Xhttp://www.math.rwth-aachen.de/[0m
  
  Email         addresses         have        a        special        element:
  [7Xmailto:Frank.Luebeck@Math.RWTH-Aachen.De[0m
  
  and Homepages another one: [7Xhttp://www-groups.mcs.st-and.ac.uk/~neunhoef/[0m
  
  And      here      is      a      link      to     the     [5XEDIM[0m     archives
  ([7Xhttp://www.math.rwth-aachen.de/~Frank.Luebeck/gap/EDIM/index.html#ARCHS[0m).
  
  One   can   generate   index   entries   as   follows  (look  up  the  words
  "TeX-UserGroup", "RWTH", "Aachen, Hauptbahnhof", and "[5XGAP[0m, [5XGAPDoc[0m").
  
  
  [1X2.4 Lists and Tables[0X
  
  [--> [14XB.9[0m]
  
  There are
  
  --    lists
  
  --    enumerations, and
  
  --    tables
  
  or:
  
  (1)   lists
  
  (2)   enumerations, and
  
  (3)   tables
  
  or with marks:
  
  [8Xlists:[0m
        not numbered
  
  [8Xenumerations:[0m
        numbered
  
  [8Xtables:[0m
        two-dimensional
  
  Here is a [13Xtable[0m:
  
      ------------------------------
      | Object | Price | available | 
      ------------------------------
      ------------------------------
      |   Shoe | $1,00 | there     | 
      ------------------------------
      |    Hat | $2,00 | not there | 
      ------------------------------
  
       [1XTable:[0X Prices
  
  
  
  [1X2.5 Entities and Special Characters[0X
  
  [--> [14XB.10[0m]
  
  Here is a table of special characters, the first two are special for XML and
  must  be  typed in by entities in [5XGAPDoc[0m documents. The other characters are
  special for LaTeX but in [5XGAPDoc[0m they can be typed directly.
  
      -----------------------------------------------------
      | [10X&[0m | [10X<[0m | [10X>[0m | [10X#[0m | [10X$[0m | [10X%[0m | [10X~[0m | [10X\[0m | [10X{[0m | [10X}[0m | [10X_[0m | [10X^[0m | [10X [0m | 
      -----------------------------------------------------
  
       [1XTable:[0X Special characters in character data
  
  
  And here are the predefined entities in [5XGAPDoc[0m:
  
      -------------------------
      | [10X&GAP;[0m       | [5XGAP[0m     | 
      -------------------------
      | [10X&GAPDoc;[0m    | [5XGAPDoc[0m  | 
      -------------------------
      | [10X&TeX;[0m       | TeX     | 
      -------------------------
      | [10X&LaTeX;[0m     | LaTeX   | 
      -------------------------
      | [10X&BibTeX;[0m    | BibTeX  | 
      -------------------------
      | [10X&MeatAxe;[0m   | [5XMeatAxe[0m | 
      -------------------------
      | [10X&XGAP;[0m      | [5XXGAP[0m    | 
      -------------------------
      | [10X&copyright;[0m | ©       | 
      -------------------------
  
       [1XTable:[0X Predefined Entities in the [5XGAPDoc[0m system
  
  
  And some more for mathematical symbols: ℂ, ℤ, ℕ, ℙ, ℚ, ℍ, ℝ.
  
