Fix LCF Notation post