width ( box ) → double precisionComputes horizontal size of box.
width(box '(1,2),(0,0)') → 1
Computes horizontal size of box.
width ( box ) → double precisionComputes horizontal size of box.
width(box '(1,2),(0,0)') → 1
Definition snapshot: 2026-09-14T13:14:25.684213+00:00@99e6866c · English manual source