LCF_notation