User blog comment:JHeroJr/Extensible U-system/@comment-34422464-20190603230048/@comment-34422464-20190603232123

I reccomend reading a few definitions of notations and familiarizing yourself with math symbols (search up logic symbols on Wikipedia.) Also join the Discord server and ask around. https://discord.gg/jZKDzTq