M=> Mathican

Mathican: think better

We are a community of progressive mathematicians dedicated to improving mathematical pedagogy.

Mathican is our language. It is an open source strictly defined pure mathematical language that maximises understanding, efficiency and fun.

M=> $(2^{2} 2_{2} 2_{2})_{3} = (4 \cdot 2)_{3} = 8_{3} = 2$

Try reading Mathican V1 draft

12 Oct, 2026 More infinitesimal, poco
04 Oct, 2026 Have I made a mistake?
03 Oct, 2026 Bluesky posts
25 Sep, 2026 The Infinitesimal
20 Sep, 2026 Wot, no √(radical)?
19 Sep, 2026 Kelburn Castle problems
17 Sep, 2026 A Mathican puzzle
17 Sep, 2026 Exponentiation fun
17 Sep, 2026 Reddit post to help homework
15 Sep, 2026 Exponent relation
15 Sep, 2026 Mathican V1 Draft
13 Sep, 2026 Express freely
13 Sep, 2026 Setup
13 Sep, 2026 K L S
13 Sep, 2026 M=> Mathican prompt
13 Sep, 2026 Fundamental Relations
13 Sep, 2026 Test a new post
02 May, 2026 26503
08 Jan, 2026 26108
06 Jan, 2024 24106
03 Mar, 2023 23303
08 Mar, 2022 22308
02 Mar, 2022 22302