Btw, construction tools have thicker lead holders, like 5.6mm, and red color too.

https://www.homedepot.com/b/Tools-Hand-Tools-Marking-Tools-L...

I own one, but it's an almost completely different tool. The fat lead doesn't stay sharp, and isn't really something you'd use for drafting or drawing figures for inking. They are great for marking lumber though.