Edit LCF Notation post