I hope this is the right place for this question; I couldn't seem to find a better community for it, but if anyone has any suggestions, I'm all ears.
I'm familiar with the down tack ($\top$) and up tack ($\bot$) symbols in the context of mathematical logic. However, when searching for their Unicode values, I came across many other tack variants. I'm especially curious about the shortened (e.g. ⫠) and barred (e.g. ⫨) versions of them. Do those variations on the tack symbols imply any change in meaning? I couldn't find them used anywhere.