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...