Well it definitely is the correct notation for that fraction. I think Rumborak's point was that the proof was relying on two unproved axioms, each a different wording of the same problem, whereas in the case of 1/9, the answer of 0.111... can be found using simple mathematics (long division). Admittedly its not the best proof in the world but its not a tautology as Rumborak suggested.
To elaborate on my point: In the end, 0.999... = 1 makes a statement about the infinitely small remainder between the two numbers, i.e. that the remainder *is* indeed zero and they are thus the same numbers.
Now, 1/9 = 0.1111.... makes exactly the same point! Just as in 0.9999... the argument goes there is always another "9" that makes it closer to 1, in 0.1111... there is always another 1 that makes it closer to 1/9.
So, my point is that you are starting out with the thing you are actually trying to prove, and then, duh, you magically prove it!
Again, I do not question the overall truth of the statement, I'm just commenting on that a lot of those "easy proofs" for this are inherently flawed.
rumborak