Abstract
Recently, Yuen1 has given simple methods for positive-negative base conversion. This correspondence presents a straightforward and complete proof for his algorithmetic steps. A few comments on the choice of negabinary adders with positive twin carries and with positive and negative carries have also been added.