3 ms·Xfig, naturally... just kidding ;-) They have been drawn with draw.io.by jkbs 5y agoXfig, naturally... just kidding ;-) They have been drawn with draw.io.