DOT

const DOT: "\." = '\.';