User blog comment:Boboris02/MBOT/@comment-1605058-20161220212557/@comment-30118230-20161221161852

The second one contains things that I haven't fully described in the blog post yet.And the "notequalsto" thing was my atempt at writing the =/= sign ,but I don't know how to do that using mathjax.