[LRN] Add support for double prime symbol