In Lambwiki, use double underscore instead of double comma for subscripts