ParentFull threadstablemap·I think any field having so many consumers will struggle to standardize notation, but for boldface I can offer this—it’s typically one more stroke.https://en.wikipedia.org/wiki/Blackboard_boldView on HN