Comment Comment by ekglimmer RE other similar notations: https://news.ycombinator.com/item?id=42066358 parent ekglimmer 1 year ago