{"Definition":{"abbreviation":"Def","colour":"#405e33","description":"A definition of a mathematical or logical notion.","name":"Definition"},"Example":{"abbreviation":"Ex","colour":"#003657","description":"An example.","name":"Example"},"Method":{"abbreviation":"Mtd","colour":"#805e3f","description":"A method.","name":"Method"},"Note":{"abbreviation":"T","colour":"#7C8181","description":"A note.","name":"Note"},"Notion":{"abbreviation":"N","colour":"#3c68a0","description":"A mathematical or logical notion.","name":"Notion"},"Proof":{"abbreviation":"Prf","colour":"#918800","description":"A proof of a statement.","name":"Proof"},"Statement":{"abbreviation":"St","colour":"#6c2e2e","description":"A statement, such as a theorem, lemma, corollary etc.","name":"Statement"}}