roof jack

roof jack

[′rüf ‚jak] (mining engineering) A screw- or pump-type extension post used as a temporary roof support.