height -- height of a net

Description

height n -- the height of a net n.

The height of a net is the number of rows of characters it has above the baseline. It may be a negative number, but the depth plus the height is always the total number of rows, which is not negative.

See also

• Net -- the class of all nets and strings
• depth -- depth of a net