ParentFull threadarve0·Because, sometime you don't need all the whistles, but only a subset.Curious, what inconsistencies does asciimath have?View on HN