notation: introduce tokens