I've been using the Minkowski function in openSCAD for a while now, it's nice to know what it actually is.