?render ```typ
$ b divides a <=> a dots.v b $
#How to get `dots.v` to be treated like `divides` in terms of layout?
shell jolt
wind otterBOT
?render ```typ
$ b divides a <=> a dots.v b $
```
rigid herald
?render ```typ
$ b divides a <=> a dots.v b $
```
?render $ b | a <=> a class("relation", dots.v) b $
wind otterBOT
?render `$ b | a <=> a class("relation", dots.v) b $`
rigid herald
It's not really the same though I just noticed. The | fence doesn't have relation spacing, it just keeps spaces around itself if there are any. So the exact same thing would be $ b | a <=> a space dots.v space b $.
vivid blade
they're not, and and I'm pretty sure divides does have the relation class
here's a show rule if you want to handle it that way everywhere
?render ```
#show math.equation: it => {
show sym.dots.v: math.class.with("relation")
it
}
$ b divides a <=> a dots.v b $
rigid herald
The vertical bar keeps spacing around itself so that { x | y } doesn't look bad. I'm not sure whether it is the technically correct space width though.
If there is such a thing as technically correct here.
vivid blade
sym.divides and sym.bar aren't the same thing
sym.divides should absolutely be a relation, sym.bar kind of has to be special cased
shell jolt
in russian literature dots.v is often used as an inverse of divides, i dont know about english literature
vivid blade
I haven't really seen it used that way
but also due to its uses in matrix and vectors, it's complicated to make it a relation by default I feel
shell jolt
vivid blade
wait, why does ru wiki has the old layout
shell jolt
i defined it as ```typ
let divisible = class("relation", sym.dots.v);
yeah that seems fine
shell jolt
wait, why does ru wiki has the old layout
wdym by "new layout"? i have monobook theme in global wikimedia preferences
vivid blade
the english one has been the default wiki look for a while now, I'm surprised that it'd change per language for some reason
shell jolt
yep the default theme is different (in russian, "по умолчанию" is "(by) default" and "устаревшая" is old/obsolete/outdated; "Векторная" is "Vector" (adj.))
