Every card can label as R4 revolution for DS/DSL, and for original R4, it should be R4 Revolution for DS (NDSL/NDS). And you can also screw and open your card, there should be a kind of chip marked 0815 for genuine one.
If it is genuine R4, of course you know it does not support SDHC SD card...