Exposition-only Symbol Index

This page tries to list all the exposition-only symbols that are defined in the standards. Their definitions are only provided for exposition: such definitions are not actually present in implementations. The symbols are written as follows: