Tinderbox v9 Icon

Stream parsing operators

A range of operators used for stream parsing of textual/numerical data—most usually a not's $Text):

Such operators are: