String # ZZ -- get character from string

String # ZZ -- get character from string

Synopsis:

Operator: # -- length, or access to elements

Input:

an instance of class String.

an instance of class ZZ.

x#i -- provides the i-th character of the string x, as a string of length 1, if there is one.

If i is out of range, a string of length 0 is returned. If i is negative, then the i-th character from the end is provided.

See also:

String #? ZZ -- check for character in string