Entity -- the class of all entities

Entity -- the class of all entities

The header type Entity is a member of the class HeaderType. Each object of class Entity is called an entity. Each entity is also a member of class HashTable.

More general types (whose methods may also apply) :

HashTable -- the class of all hash tables

Entities are 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

i2 : peek2(DownArrow,2)



o2 = Entity{name => "DownArrow"                         }

            symbol html => "<IMG SRC=\"DownArrow.gif\">"

            symbol symbol => symbol DownArrow

            symbol texMath => "\\downarrow{}"

                          +-+

            symbol net => |||

                          |||

                          |V|

                          +-+

i3 : html DownArrow



o3 = <IMG SRC="DownArrow.gif">

Methods for using an entity :

Fixed objects of class Entity :

DownArrow

RightArrow