Swedish Mathspeak Inference rules. Locale: sv, Style: Verbose.

0AXinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
1AXinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
2Xinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
3XNinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
4Aaxiom upper Aaxiom stort A
5empty axiomtomt axiom
6AXNinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
7ABXNinference rule label upper N with conclusion upper X and 2 premisesslutledningsregel etikett stort N med slutsats stort X och 2 premisser
8ABCXNinference rule label upper N with conclusion upper X and 3 premisesslutledningsregel etikett stort N med slutsats stort X och 3 premisser
9NAXinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
10NABXinference rule label upper N with conclusion upper X and 2 premisesslutledningsregel etikett stort N med slutsats stort X och 2 premisser
11NABCXinference rule label upper N with conclusion upper X and 3 premisesslutledningsregel etikett stort N med slutsats stort X och 3 premisser
12AX1st premise axiom upper A1:a premiss axiom stort A
13ABX1st premise axiom upper A 2nd premise axiom upper B1:a premiss axiom stort A 2:a premiss axiom stort B
14ABCX1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C1:a premiss axiom stort A 2:a premiss axiom stort B 3:e premiss axiom stort C

Swedish Mathspeak Inference rules. Locale: sv, Style: Verbose.

0AXinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
1AXinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
2Xinference rule with conclusion upper X and 1 premiseslutledningsregel med slutsats stort X och 1 premisser
3XNinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
4Aaxiom upper Aaxiom stort A
5empty axiomtomt axiom
6AXNinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
7ABXNinference rule label upper N with conclusion upper X and 2 premisesslutledningsregel etikett stort N med slutsats stort X och 2 premisser
8ABCXNinference rule label upper N with conclusion upper X and 3 premisesslutledningsregel etikett stort N med slutsats stort X och 3 premisser
9NAXinference rule label upper N with conclusion upper X and 1 premiseslutledningsregel etikett stort N med slutsats stort X och 1 premisser
10NABXinference rule label upper N with conclusion upper X and 2 premisesslutledningsregel etikett stort N med slutsats stort X och 2 premisser
11NABCXinference rule label upper N with conclusion upper X and 3 premisesslutledningsregel etikett stort N med slutsats stort X och 3 premisser
12AX1st premise axiom upper A1:a premiss axiom stort A
13ABX1st premise axiom upper A 2nd premise axiom upper B1:a premiss axiom stort A 2:a premiss axiom stort B
14ABCX1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C1:a premiss axiom stort A 2:a premiss axiom stort B 3:e premiss axiom stort C