There's another issue you may not be aware of, which is what I was describing, based on how my phone displayed it. The ∇ (U+2207) you just said for Stalin∇ and

There's another issue you may not be aware of, which is what I was describing, based on how my phone displayed it. The ∇ (U+2207) you just said for Stalin∇ and ∇SLAM is a different character to the one on the Github page, 𝛁 (U+1d6c1)! The latter character is outside the BMP, so will lead to plenty of compatibility and font issues. For me on Firefox on Android, it shows up as a blank grey wide character rectangular block (Chrome on Kubuntu it's fine). The symbol, when it displays properly, is pronounceable if you know the maths, but will probably hurt SEO etc. If you must use one of these, definitely use ∇, as that should be well supported (just hard to type and search for).