  
  [1X2. Other Markup[0X
  
  
  [1X2.1 Various types of text[0X
  
  [--> [14XB.5[0X]
  
  In  this  section we present examples for all the various types of text that
  are possible in [5XGAPDoc[0X:
  
  --    [13XThis[0X is [13Xemphasized[0X.
  
  --    [13XKeywords[0X are typeset like [9Xthis[0X and [9Xthat[0X.
  
  --    [13XArguments[0X of functions have an element. They look like this: [3Xx[0X and [3Xy[0X.
  
  --    [13XCode[0X   can   be  written  with  the  Code  element:  [10Xif  x  =  y  then
        Print("Equal"); fi;[0X or [10Xwhile true do Print("Hello"); od;[0X.
  
  --    [13XFilenames[0X    have   their   own   element:   [11X/usr/local/ca/gap4r2[0X   or
        [11Xpkg/xgap/doc[0X.
  
  --    [13XButtons[0X,  [13Xmenus[0X,  [13Xmenu entries[0X, and such things are also supported: [12XOK[0X
        or [12XCancel[0X.
  
  --    [13XPackages[0X are typeset like this: [5XSmall Groups Library[0X
  
  --    [13XQuoted[0X text: "This is a text in quotes."
  
  [13XParagraphs[0X are separated by the empty [10XPar[0X or [10XP[0X element.
  
  [13XAlternatives[0X  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[0X)
  
  The first is a [13XListing[0X:
  
  [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[0X of a [5XGAP[0X session using this function:
  
  [4X-----------------------------  Log  ------------------------------[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[0X [13XExample[0X 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[0X]
  
  There are three types of formulae.
  
  The  first  is  the [13Xnormal math mode[0X of LaTeX: $b_i \cdot b_j = \sum_{k=1}^d
  h_{ijk} b_k$. Then there are [13Xdisplayed formulae[0X:
  
  
       \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[0X 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_i b_i ) =    )  (   )  x_i y_j h_ijk ) b_k
          /                /                 /      /                    
         -----            -----             -----  -----                
         i = 1            i = 1             k = 1   i,j                
  For  small  formulae  without "difficult" parts use the [10XM[0X 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.
  
  
  [1X2.3 Crossreferencing[0X
  
  [--> [14XB.8[0X]
  
  In this section we demonstrate various references to parts of this document.
  Here is a reference to this section: [14X2.3[0X. Here is a reference to chapter [14X1.[0X,
  to appendix [14XA.[0X, and to subsection [14X1.1-1[0X.
  
  We  distinguish  among  others  references  to functions (see [2Xf[0X ([14X1.2-1[0X)), to
  methods  with  tricky  name (see [2X\^\{\}\[\]\<\&[0X ([14X1.2-2[0X)), to operations (see
  [2XMyOperation[0X  ([14X1.2-3[0X)),  to  methods  (see [2XMyOperation[0X ([14X1.2-4[0X) or [2XMyOperation[0X
  ([14X1.2-5[0X)),  to  filters  (see  [2XIsBla[0X  ([14X1.2-6[0X)),  to  properties  (see [2XIsBlubb[0X
  ([14X1.2-7[0X)),  to attributes (see [2XNumberBlobbs[0X ([14X1.2-8[0X)), to variables ([2XAllBlibbs[0X
  ([14X1.2-9[0X)),  to families (see [2XBlibbsFamily[0X ([14X1.2-10[0X)), and to info classes (see
  [2XInfoBlibbs[0X ([14X1.2-11[0X)).
  
  There  are  also references to labels: see [14X2.3[0X, to other books: see [14X'GAPDoc:
  What  is  a DTD?'[0X or [2XIsSubgroup[0X ([14XReference: IsSubgroup[0X) in the [5XGAP[0X reference
  manual.
  
  References to sections come in two styles: [14X1.[0X or [14X'Sectioning Elements'[0X.
  
  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/[0X
  
  Email         addresses         have        a        special        element:
  [7Xmailto:Frank.Luebeck@Math.RWTH-Aachen.De[0X
  
  and Homepages another one: [7Xhttp://www.math.rwth-aachen.de/~Max.Neunhoeffer/[0X
  
  And      here      is      a      link      to     the     [5XEDIM[0X     archives
  ([7Xhttp://www.math.rwth-aachen.de/~Frank.Luebeck/gap/EDIM/index.html#ARCHS[0X).
  
  One   can   generate   index   entries   as   follows  (look  up  the  words
  "TeX-UserGroup", "RWTH", "Aachen, Hauptbahnhof", and "[5XGAP[0X, [5XGAPDoc[0X").
  
  
  [1X2.4 Lists and Tables[0X
  
  [--> [14XB.9[0X]
  
  There are
  
  --    lists
  
  --    enumerations, and
  
  --    tables
  
  or:
  
  (1)   lists
  
  (2)   enumerations, and
  
  (3)   tables
  
  or with marks:
  
  [8Xlists:[0X
        not numbered
  
  [8Xenumerations:[0X
        numbered
  
  [8Xtables:[0X
        two-dimensional
  
  Here is a [13Xtable[0X:
  
     --------------------------------
      | Object | Price | available | 
     --------------------------------
     --------------------------------
      |   Shoe | $1,00 | there     | 
     --------------------------------
      |    Hat | $2,00 | not there | 
     --------------------------------
  
       [1XTable:[0X Prices
  
  
  
  [1X2.5 Entities and Special Characters[0X
  
  [--> [14XB.10[0X]
  
  Here is the table of special characters:
  
     -------------------------------------------------------
      | [10X&[0X | [10X<[0X | [10X>[0X | [10X#[0X | [10X$[0X | [10X%[0X | [10X~[0X | [10X\[0X | [10X{[0X | [10X}[0X | [10X_[0X | [10X^[0X | [10X [0X | 
     -------------------------------------------------------
  
       [1XTable:[0X Special characters in character data
  
  
  And here are the predefined entities in [5XGAPDoc[0X:
  
     ---------------------------
      | [10X&GAP;[0X       | [5XGAP[0X     | 
     ---------------------------
      | [10X&GAPDoc;[0X    | [5XGAPDoc[0X  | 
     ---------------------------
      | [10X&TeX;[0X       | TeX     | 
     ---------------------------
      | [10X&LaTeX;[0X     | LaTeX   | 
     ---------------------------
      | [10X&BibTeX;[0X    | BibTeX  | 
     ---------------------------
      | [10X&MeatAxe;[0X   | [5XMeatAxe[0X | 
     ---------------------------
      | [10X&XGAP;[0X      | [5XXGAP[0X    | 
     ---------------------------
      | [10X&copyright;[0X | ©       | 
     ---------------------------
  
       [1XTable:[0X Predefined Entities in the [5XGAPDoc[0X system
  
  
