Entity

Entity -- the class of all entities, special typsettable objects which have different realizations in various typesetting systems.

An example of an entity is DownArrow, a downward pointing arrow.

i1 : DownArrow

o1 = |
     |
     V

o1 : Entity

'DownArrow' -- an entity used in hypertext to represent an
     downward pointing arrow.
i2 : peek (DownArrow,2)

o2 = (Entity{html => <IMG SRC="DownArrow.gif">},2)
             name => DownArrow
             net => |
                    |
                    V
             symbol => DownArrow
             texMath => \downarrow{}

o2 : Net

Here is a list of all entities.
  • RightArrow
  • DownArrow

    • topindexpreviousupnext