Source: wikibot/lcf-notation

= LCF notation
{wiki=LCF_notation}