  
  [1m[4m[31m2. Other Markup[0m
  
  
  [1m[4m[31m2.1 Various types of text[0m
  
  [--> [1mB.5[0m]
  
  In  this  section we present examples for all the various types of text that
  are possible in [1mGAPDoc[0m:
  
  --    [22m[36mThis[0m is [22m[36memphasized[0m.
  
  --    [22m[36mKeywords[0m are typeset like [22m[32mthis[0m and [22m[32mthat[0m.
  
  --    [22m[36mArguments[0m of functions have an element. They look like this: [22m[34mx[0m and [22m[34my[0m.
  
  --    [22m[36mCode[0m   can   be  written  with  the  Code  element:  [22m[32mif  x  =  y  then
        Print("Equal"); fi;[0m or [22m[32mwhile true do Print("Hello"); od;[0m.
  
  --    [22m[36mFilenames[0m    have   their   own   element:   [1m/usr/local/ca/gap4r2[0m   or
        [1mpkg/xgap/doc[0m.
  
  --    [22m[36mButtons[0m,  [22m[36mmenus[0m,  [22m[36mmenu entries[0m, and such things are also supported: [1m[46mOK[0m
        or [1m[46mCancel[0m.
  
  --    [22m[36mPackages[0m are typeset like this: [1mSmall Groups Library[0m
  
  --    [22m[36mQuoted[0m text: "This is a text in quotes."
  
  [22m[36mParagraphs[0m  are  separated  by  the empty [22m[32mPar[0m or [22m[32mP[0m element. [22m[36mAlternatives[0m for
  different  output  formats:  This  is  other than LaTeX output, namely: Text
  output.
  
  There are also three elements to typeset "verbatim-like" text. (--> [1mB.6[0m)
  
  The first is a [22m[36mListing[0m:
  
  [22m[35m---------------------------  GAP code  ---------------------------[0m
    [22m[35mSieve := function(n)[0m
    [22m[35m  # Returns the primes less than n[0m
    [22m[35m  local l,p,i;[0m
    [22m[35m  l := [1..n]; Unbind(l[1]);[0m
    [22m[35m  p := 2;[0m
    [22m[35m  while p^2 <= n do[0m
    [22m[35m      if IsBound(l[p]) then[0m
    [22m[35m          i := 2 * p;[0m
    [22m[35m          while i <= n do Unbind(l[i]); i := i + p; od;[0m
    [22m[35m      fi;[0m
    [22m[35m      p := p + 1;[0m
    [22m[35m  od;[0m
    [22m[35m  return Compacted(l);[0m
    [22m[35mend;[0m
  [22m[35m------------------------------------------------------------------[0m
  
  Here is a [22m[36mLog[0m of a [1mGAP[0m session using this function:
  
  [22m[35m-----------------------------  Log  ------------------------------[0m
    [22m[35mgap> Sieve(100);[0m
    [22m[35m[ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61,[0m
    [22m[35m  67, 71, 73, 79, 83, 89, 97 ][0m
    [22m[35mgap> Length(last);[0m
    [22m[35m25[0m
  [22m[35m------------------------------------------------------------------[0m
  
  Here is a [1mGAP[0m [22m[36mExample[0m session that is automatically tested:
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35mgap> s := Size(CharacterTable("M"));[0m
    [22m[35m808017424794512875886459904961710757005754368000000000[0m
    [22m[35mgap> s < 10^53;                     [0m
    [22m[35mfalse[0m
    [22m[35mgap> s < 10^54;[0m
    [22m[35mtrue[0m
  [22m[35m------------------------------------------------------------------[0m
  
  
  [1m[4m[31m2.2 Formulae[0m
  
  [--> [1mB.7[0m]
  
  There are three types of formulae.
  
  The  first  is  the [22m[36mnormal math mode[0m of LaTeX: $b_i \cdot b_j = \sum_{k=1}^d
  h_{ijk} b_k$. Then there are [22m[36mdisplayed 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 [22m[32mAlt[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_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 [22m[32mM[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.
  
  
  [1m[4m[31m2.3 Crossreferencing[0m
  
  [--> [1mB.8[0m]
  
  In this section we demonstrate various references to parts of this document.
  Here is a reference to this section: [1m2.3[0m. Here is a reference to chapter [1m1.[0m,
  to appendix [1mA.[0m, and to subsection [1m1.1-1[0m.
  
  We  distinguish  among  others  references  to functions (see [1m[34mf[0m ([1m1.2-1[0m)), to
  methods  with  tricky  name (see [1m[34m\^[0m ([1m1.2-2[0m)), to operations (see [1m[34mMyOperation[0m
  ([1m1.2-3[0m)),  to  methods  (see [1m[34mMyOperation[0m ([1m1.2-4[0m) or [1m[34mMyOperation[0m ([1m1.2-5[0m)), to
  filters  (see  [1m[34mIsBla[0m  ([1m1.2-6[0m)),  to  properties  (see  [1m[34mIsBlubb[0m  ([1m1.2-7[0m)), to
  attributes  (see [1m[34mNumberBlobbs[0m ([1m1.2-8[0m)), to variables ([1m[34mAllBlibbs[0m ([1m1.2-9[0m)), to
  families  (see  [1m[34mBlibbsFamily[0m  ([1m1.2-10[0m)), and to info classes (see [1m[34mInfoBlibbs[0m
  ([1m1.2-11[0m)).
  
  There  are  also references to labels: see [1m2.3[0m, to other books: see [1m`GAPDoc:
  What  is  a DTD?'[0m or [1m[34mIsSubgroup[0m ([1mReference: IsSubgroup[0m) in the [1mGAP[0m reference
  manual.
  
  References to sections come in two styles: [1m1.[0m or [1m`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:
  
  [34mhttp://www.math.rwth-aachen.de/LDfM/[0m
  
  Email         addresses         have        a        special        element:
  [34mmailto:Frank.Luebeck@Math.RWTH-Aachen.De[0m
  
  and Homepages another one: [34mhttp://www.math.rwth-aachen.de/~Max.Neunhoeffer/[0m
  
  One   can   generate   index   entries   as   follows  (look  up  the  words
  "TeX-UserGroup", "RWTH", and "Aachen, Hauptbahnhof").
  
  
  [1m[4m[31m2.4 Lists and Tables[0m
  
  [--> [1mB.9[0m]
  
  There are
  
  --    lists
  
  --    enumerations, and
  
  --    tables
  
  or:
  
  (1)   lists
  
  (2)   enumerations, and
  
  (3)   tables
  
  or with marks:
  
  [1m[33mlists:[0m
        not numbered
  
  [1m[33menumerations:[0m
        numbered
  
  [1m[33mtables:[0m
        two-dimensional
  
  Here is a [22m[36mtable[0m:
  
     --------------------------------
      | Object | Price | available | 
     --------------------------------
     --------------------------------
      |   Shoe | $1,00 | there     | 
     --------------------------------
      |    Hat | $2,00 | not there | 
     --------------------------------
  
       [1m[4m[31mTable:[0m Prices
  
  
  
  [1m[4m[31m2.5 Entities and Special Characters[0m
  
  [--> [1mB.10[0m]
  
  Here is the table of special characters:
  
     -------------------------------------------------------
      | [22m[32m&[0m | [22m[32m<[0m | [22m[32m>[0m | [22m[32m#[0m | [22m[32m$[0m | [22m[32m%[0m | [22m[32m~[0m | [22m[32m\[0m | [22m[32m{[0m | [22m[32m}[0m | [22m[32m_[0m | [22m[32m^[0m | [22m[32m[0m | 
     -------------------------------------------------------
  
       [1m[4m[31mTable:[0m Special characters in character data
  
  
  And here are the predefined entities in [1mGAPDoc[0m:
  
     ---------------------------
      | [22m[32m&GAP;[0m       | [1mGAP[0m     | 
     ---------------------------
      | [22m[32m&GAPDoc;[0m    | [1mGAPDoc[0m  | 
     ---------------------------
      | [22m[32m&TeX;[0m       | TeX     | 
     ---------------------------
      | [22m[32m&LaTeX;[0m     | LaTeX   | 
     ---------------------------
      | [22m[32m&BibTeX;[0m    | BibTeX  | 
     ---------------------------
      | [22m[32m&MeatAxe;[0m   | [1mMeatAxe[0m | 
     ---------------------------
      | [22m[32m&XGAP;[0m      | [1mXGAP[0m    | 
     ---------------------------
      | [22m[32m&copyright;[0m | (C)     | 
     ---------------------------
  
       [1m[4m[31mTable:[0m Predefined Entities in the [1mGAPDoc[0m system
  
  
