I think it is really decisive for intuitive readability and semantics that the \fatsemi has \circ as part of it. Hence I wouldn’t go for the “filled” blackboard font version.
I think it is really decisive for intuitive readability and semantics that the \fatsemi has \circ as part of it. Hence I wouldn’t go for the “filled” blackboard font version.