If you use a buffer gate as separate power source where does that extra current come from??? They are drawn as single input and single output. Is there always assumed that there is another power supply there? And if that’s the case why not just use a sinking digital output with a single transistor?
As far as I can tell, these two images are the exact same thing.