| http://www.w3.org/ns/prov#value | - Using \leaders is a brilliant suggestion for suppressing \write I told him in chat to make it an answer so he picks up some rep point votes:-) When I said a bit harder in the comment above it was English understatement it could be roughly translated into you would have to redesign the whole of latex so not impossible but...
|
